6 found
Order:
Disambiguations
Anjolina G. de Oliveira [4]Anjolina Grisi de Oliveira [2]
  1.  35
    WOLLIC, CSLI, Stanford, USA July 18–21, 2006.Anjolina Grisi de Oliveira, Valéria de Paiva, Eli Ben-Sasson & Yuri Gurevich - 2007 - Bulletin of Symbolic Logic 13 (3).
  2.  24
    Propositional intuitionistic multiple-conclusion calculus via proof graphs.Ruan V. B. Carvalho, Anjolina G. de Oliveira & Ruy J. G. B. de Queiroz - forthcoming - Logic Journal of the IGPL.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. A new basic set of proof transformations.Anjolina G. de Oliveira & Rjgb de Queiroz - 1997 - Bulletin of Symbolic Logic 3 (1):124-126.
  4.  46
    Philadelphia, PA, USA May 18–20, 2011.Anjolina G. de Oliveira, Ruy de Queiroz, Rajeev Alur, Max Kanovich, John Mitchell, Vladimir Voevodsky, Yoad Winter & Michael Zakharyaschev - 2012 - Bulletin of Symbolic Logic 18 (1).
  5.  3
    Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings (Lecture Notes in Computer Science Book 9160).Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant & Anjolina G. De Oliveira - 2015 - Springer.
    Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015. The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully reviewed and selected from 44 submissions. The focus of the workshop was on interdisciplinary research involving formal logic, computing and programming theory, and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  16
    Fontainebleau (Univ. Paris XII), France July 19–22, 2004.Igor Walukiewicz, France Curie, Patrick Cégielski & Anjolina Grisi de Oliveira - 2005 - Bulletin of Symbolic Logic 11 (1).
    Direct download  
     
    Export citation  
     
    Bookmark